Parameter Generation for Hierarchical Scheduling Systems Based on Model Checking
نویسندگان
چکیده
منابع مشابه
Priority Scheduling of Distributed Systems Based on Model Checking
Priorities are used to control the execution of systems to meet given requirements for optimal use of resources, e.g., by using scheduling policies. For distributed systems, it is hard to find efficient implementations for priorities; because they express constraints on global states, their implementation may incur considerable overhead. Our method is based on performing model checking for know...
متن کاملModel Checking Hierarchical Probabilistic Systems
Probabilistic modeling is important for random distributed algorithms, bio-systems or decision processes. Probabilistic model checking is a systematic way of analyzing finite-state probabilistic models. Existing probabilistic model checkers have been designed for simple systems without hierarchy. In this paper, we extend the PAT toolkit to support probabilistic model checking of hierarchical co...
متن کاملStudy on Grid Scheduling Model Based on Hierarchical Scheduling Model
In order to solve the task allocation and scheduling problem based on the analysis and research of hierarchical Petri net, this paper proposed a grid scheduling model based on hierarchical scheduling model. This model can ensure that the various elements of the loose coupling between the scheduling, to facilitate data resources deployment in grid environment; in addition, this paper proposed th...
متن کاملmortality forecasting based on lee-carter model
over the past decades a number of approaches have been applied for forecasting mortality. in 1992, a new method for long-run forecast of the level and age pattern of mortality was published by lee and carter. this method was welcomed by many authors so it was extended through a wider class of generalized, parametric and nonlinear model. this model represents one of the most influential recent d...
15 صفحه اولSimulation Based Model Checking for Hierarchical Models
Recent computational advances have made it feasible to t hierarchical models in a wide range of serious applications. If one entertains a collection of such models for a given data set, the problems of model adequacy and model choice arise. We focus on the former. While model checking usually addresses the entire model speciication, model failures can occur at each hierarchical stage. Such fail...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Xibei Gongye Daxue Xuebao/Journal of Northwestern Polytechnical University
سال: 2019
ISSN: 1000-2758,2609-7125
DOI: 10.1051/jnwpu/20193761302